2

Computer-assisted proofs of special function identities related to Poisson integrals

Year:
2009
Language:
english
File:
PDF, 413 KB
english, 2009
3

Algorithms for special functions

Year:
2011
Language:
english
File:
PDF, 48 KB
english, 2011
4

On recurrences for Ising integrals

Year:
2010
Language:
english
File:
PDF, 200 KB
english, 2010
5

ISOLDE

Year:
2013
Language:
english
File:
PDF, 137 KB
english, 2013
6

A symbolic summation approach to feynman integrals

Year:
2011
Language:
english
File:
PDF, 130 KB
english, 2011